Verification of Procedural Reasoning System (PRS) Programs Using Coloured Petri Nets (CPN)
نویسندگان
چکیده
PRS (a tool based on procedural reasoning) has inspired several works in Artificial Intelligence, mainly in embedded and industrial applications. This paper proposes a verification mechanism of PRS programs, based on equivalence rules with Coloured Petri Nets (CPN). This equivalence allows using existing analysis methods for coloured Petri nets to verify PRS programs.
منابع مشابه
Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models
This paper introduces Access/CPN 2.0, which extends Access/CPN with high-level primitives for interacting with coloured Petri net (CPN) models in Java programs. The primitives allow Java programs to monitor and interact with places and transitions during execution, and embed entire programs as subpages of CPN models or embed CPN models as parts of programs. This facilitates building environment...
متن کاملUsing Coloured Petri Nets for integrated reliability and safety evaluations
Integrated Deterministic and Probabilistic Dependability Analysis (IDPDA) is respectively required for safety properties verification and reliability & availability assessment of critical systems. This paper presents an approach towards IDPDA using Coloured Petri Nets (CPN). Contributions are related to: (a) hierarchical modelling guidelines that cover deterministic and probabilistic features o...
متن کاملSafety Analysis Using Coloured Petri Nets - Software Engineering Conference, 1996. Proceedings., 1996 Asia-Pacific
I n this paper, we propose a safety analysis method using coloured Petri nets (CPN). Our method employs a backward approach where a hazard is assumed to have occurred and backward simulation from the hazard is performed in order to determine i f and how the hazard might occur. Using CPN, we define a hazard as a set of markings and perform backward simulation by generating a reachability graph b...
متن کاملAn Approach Towards the Verification of Fuzzy Hybrid Rule/Frame-based Expert Systems
In this paper, we described an approach to model Fuzzy Hybrid Rule/Frame-based Expert Systems (FHES). The approach is based on Coloured Petri Nets (CPN) and Controlled State Tokens (CST ). First, we defined the properties of a FHES and illustrate how the various features are being modelled by CPN. Secondly, we applied our approach to a practical personnel selection system currently being used i...
متن کاملDynamic Verification of an Object-Rule Knowledge Base Using Colored Petri Nets
In this paper, we propose a formal description for the dynamic verification of an Object-Rule Hybrid Knowledge-based System (HKBS), capitalizing on the work carried out within the verification framework of Frame-Rule Hybrid Expert Systems. The main idea is to model an HKBS by means of a Colored Petri Network (CPN). In this way, method invocations, state class changes, rules and productions will...
متن کامل